Reversibility and asymmetric conflict in event structures
نویسندگان
چکیده
منابع مشابه
Event Structures for Resolvable Conflict
We propose a generalisation of Winskel’s event structures, matching the expressive power of arbitrary Petri nets. In particular, our event structures capture resolvable conflict, besides disjunctive and conjunctive causality.
متن کاملBranching cells for asymmetric event structures
We introduce branching cells for Asymmetric Event Structures. They provide a way to decompose maximal configuration in a dynamic way through elementary steps representing elementary choices made during a computation run.
متن کاملContextual Petri Nets, Asymmetric Event Structures, and Processes
We present an event structure semantics for contextual nets, an extension of P/T Petri nets where transitions can check for the presence of tokens without consuming them (read-only operations). A basic rôle is played by asymmetric event structures, a generalization of Winskel’s prime event structures where symmetric conflict is replaced by a relation modelling asymmetric conflict or weak causal...
متن کاملContextual equivalences in configuration structures and reversibility
Contextual equivalence equate terms that have the same observable behaviour in any context. A standard contextual equivalence for CCS is the strong barbed congruence. Configuration structures are a denotational semantics for processes in which one define equivalences that are more discriminating, i.e. that distinguish the denotation of terms equated by barbed congruence. Hereditary history pres...
متن کاملKickoff to Conflict: A Sequence Analysis of Intra-State Conflict-Preceding Event Structures
While many studies have suggested or assumed that the periods preceding the onset of intra-state conflict are similar across time and space, few have empirically tested this proposition. Using the Integrated Crisis Early Warning System's domestic event data in Asia from 1998-2010, we subject this proposition to empirical analysis. We code the similarity of government-rebel interactions in seque...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logical and Algebraic Methods in Programming
سال: 2015
ISSN: 2352-2208
DOI: 10.1016/j.jlamp.2015.07.004